Ares: Inferring error specifications through static analysis
- Creator: Li, Chi , Zhou, Min , Gu, Zuxing , Gu, Ming , Zhang, Hongyu
- Resource Type: conference paper
- Date: 2019
CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples
- Creator: Gu, Xiaodong , Zhang, Hongyu , Kim, Sunghun
- Resource Type: conference paper
- Date: 2019
History-guided configuration diversification for compiler test-program generation
- Creator: Chen, Junjie , Wang, Guancheng , Hao, Dan , Xiong, Yingfei , Zhang, Hongyu , Zhang, Lu
- Resource Type: conference paper
- Date: 2019